DEVS Model of the Fault-Tolerant System